scale: port marks size request to gadgets
authorCosimo Cecchi <cosimoc@gnome.org>
Sat, 27 Feb 2016 23:24:32 +0000 (15:24 -0800)
committerCosimo Cecchi <cosimoc@gnome.org>
Mon, 29 Feb 2016 18:45:14 +0000 (10:45 -0800)
commit562a501f3b3ab55d8cd02c4461198e117608c19a
tree4d33a54ceb9f195eb9f9bf5b255cbd4f135a0494
parent2f420d0e14160099862b7c5bf8738f527b811df7
scale: port marks size request to gadgets
gtk/gtkscale.c